Subject: Integrating SMT solvers into Spike
Date: from Mar 2013 until May 2013
Institution: West Timisoara University (Romania)
Subject: Property Based Testing
Date: from Feb 2013 until Jun 2013
Institution: Erasmus Mundus MSc in Dependable Software Systems
Subject: Generation of Terms
Date: from Jun 2013 until Sept 2013
Institution: Mines-Nancy, 2nd year student